Diagonal lemma